201. Model theory of algebra and arithmetic: proceedings of the Conference on Applications of Logic to
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
no
.
834
202. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to
المؤلف: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Model theory
رده :
QA
1
.
L4
v
.
834
203. Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to
المؤلف: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie
المکتبة: (طهران)
موضوع: Congresses ، Model theory
رده :
QA
9
.
7
.
C6
1979
204. Model theory of algebra and arithmetic: proceedings of the conference on ... held at Karpacz, Poland, September 1-7, 1979
المؤلف: edited by L. Pacholski, J Wierzejewski, and A. J. Wilkie
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Model theory,، Algebraic logic,، Groups, Theory of,، Set theory
رده :
QA
3
.
L28
no
.
834
205. Model theory of fields
المؤلف: Marker, David, 8591-
المکتبة: (طهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
206. Model theory of fields
المؤلف: Marker, David, 8591-
المکتبة: (طهران)
موضوع: ، Model theory,، Algebraic fields
رده :
QA
9
.
A1L44
Vol
.
5
2006
207. Model theory of groups and automorphism groups : Blaubeuren, August 1995
المؤلف: edited by David M. Evans
المکتبة: (طهران)
موضوع: Congresses ، Model theory,Congresses ، Group theory
رده :
QA
9
.
7
.
M63
208. Model theory of modules, algebras and categories :
المؤلف: Alberto Facchini [and three others], editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Congresses.,Modules (Algebra), Congresses.,Algebra.,Associative rings and algebras -- Modules, bimodules and ideals -- Free, projective, and flat modules and ideals.,Associative rings and algebras -- Modules, bimodules and ideals -- Structure and classification (except as in 16Gxx), direct sum decomposition, cancellation.,Associative rings and algebras -- Representation theory of rings and algebras -- Representations of quivers and partially ordered sets.,Category theory; homological algebra -- Abelian categories -- Preadditive, additive categories.,Category theory; homological algebra -- Categories with structure -- Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories.,Commutative algebra -- Arithmetic rings and other special rings -- Valuation rings.,Commutative algebra -- Homological methods -- Derived categories.,Dynamical systems and ergodic theory -- Ergodic theory -- Entropy and other invariants, isomorphism, classification.,Mathematical logic and foundations -- Model theory -- Model-theoretic algebra.,Modules (Algebra)
رده :
QA247
.
3
.
I5855
2017
209. Model theory of stochastic processes /
المؤلف: by Sergio Fajardo, H. Jerome Keisler
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Model theory,Stochastic processes
رده :
QA274
.
F37
2002
210. Model theory of stochastic processes
المؤلف: Fajardo, Sergio
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
274
.
F37
2002
211. Model theory of stochastic processes
المؤلف: Fajardo, Sergio, 6591-
المکتبة: (طهران)
موضوع: ، Stochastic processes,، Model theory
رده :
QA
9
.
A1L44
Vol
.
14
212. Model theory with applications to algebra and analysis
المؤلف: Zoe Chatzidakis ... ]et al.[
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M639
213. Model theory with applications to algebra and analysis
المؤلف: Zoe Chatzidakis ... ]et al.[
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M638
2008
214. Model theory with applications to algebra and analysis
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
M638
2008
215. Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry :
المؤلف: Raf Cluckers, Johannes Nicaise, Julien Sebag (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Espacios analíticos.,Modelos, Teoría de.
216. Motivic integration and its interactions with model theory and non-Archimedean geometry
المؤلف: edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
المکتبة: (طهران)
موضوع: ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
217. Motivic integration and its interactions with model theory and non-Archimedean geometry
المؤلف: / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Valued fields.,Analytic spaces.,Geometry, Algebraic.
رده :
QA
,
9
.
7
,.
M68
,
2011
218. Multi-parametric model-based control: theory and applications
المؤلف: edited by Efstratios N. Pistikopoulos, Michael C. Georgiadis and Vivek Dua
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Systems engineering - Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
219. Multi-parametric model-based control: theory and applications
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Systems engineering-- Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
